#!/bin/bash

set -u

SERVERPID=`cat PID`

echo Stopping PID: $SERVERPID

kill $SERVERPID
